<?php
echo<<<STOP
<div id=admin_message></div>
<div id=admin_toolbar>
    
    {$_REQUEST['operation']}
<button onclick="javascript:do_admin_logout ();">Log Out</button>
</div>
STOP;
?>